Software architecture for correct components assemblyINVERARDI, Paola; TIVOLI, Massimo.Lecture notes in computer science. 2003, pp 92-121, issn 0302-9743, isbn 3-540-20083-5, 30 p.Conference Paper

SFM 2003 : formal methods for software architectures (Bertinoro, 22-27 September 2003, advanced lectures)Bernardo, Marco; Inverardi, Paola.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20083-5, VI, 285 p, isbn 3-540-20083-5Conference Proceedings

Software engineering education in the Modern Age (software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005)Inverardi, Paola; Jazayeri, Mehdi.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, VIII-205 p, isbn 978-3-540-68203-5Conference Proceedings

Formal methods in testing software architecturesBERTOLINO, Antonia; INVERARDI, Paola; MUCCINI, Henry et al.Lecture notes in computer science. 2003, pp 122-147, issn 0302-9743, isbn 3-540-20083-5, 26 p.Conference Paper

Reflections on software engineering educationVAN VLIET, Hans.Lecture notes in computer science. 2006, pp 1-10, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 10 p.Conference Paper

Formal modeling and analysis of software architecture: Components, connectors, and eventsGARLAN, David.Lecture notes in computer science. 2003, pp 1-24, issn 0302-9743, isbn 3-540-20083-5, 24 p.Conference Paper

A pedagogical view on software modeling and graph-structured diagramsTAMAI, Tetsuo.Lecture notes in computer science. 2006, pp 59-70, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 12 p.Conference Paper

The challenges of software engineering educationGHEZZI, Carlo; MANDRIOLI, Dino.Lecture notes in computer science. 2006, pp 115-127, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 13 p.Conference Paper

From system goals to software architectureVAN LAMSWEERDE, Axel.Lecture notes in computer science. 2003, pp 25-43, issn 0302-9743, isbn 3-540-20083-5, 19 p.Conference Paper

The making of a software engineer : Challenges for the educatorSZYPERSKI, Clemens.Lecture notes in computer science. 2006, pp 108-114, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 7 p.Conference Paper

A strategy for content reusability with product lines derived from experience in online educationPANKRATIUS, Victor; STUCKY, Wolffried.Lecture notes in computer science. 2006, pp 128-146, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 19 p.Conference Paper

Software Architecture and dependabilityISSARNY, Valérie; ZARRAS, Apostolos.Lecture notes in computer science. 2003, pp 259-285, issn 0302-9743, isbn 3-540-20083-5, 27 p.Conference Paper

Validating distributed object and component designsKAVEH, Nima; EMMERICH, Wolfgang.Lecture notes in computer science. 2003, pp 63-91, issn 0302-9743, isbn 3-540-20083-5, 29 p.Conference Paper

The groupthink specification exerciseERNST, Michael D.Lecture notes in computer science. 2006, pp 89-107, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 19 p.Conference Paper

A distributed intrusion detection approach for secure software architectureINVERARDI, Paola; MOSTARDA, Leonardo.Lecture notes in computer science. 2005, pp 168-184, issn 0302-9743, isbn 3-540-26275-X, 17 p.Conference Paper

CHARMY : An extensible tool for architectural analysisINVERARDI, Paola; MUCCINI, Henry; PELLICCIONE, Patrizio et al.European software engineering conferenceSymposium on the foundations of software engineering. 2005, pp 111-114, isbn 1-59593-014-0, 1Vol, 4 p.Conference Paper

Proving deadlock freedom in component-based programmingINVERARDI, Paola; UCHITEL, Sebastian.Lecture notes in computer science. 2001, pp 60-75, issn 0302-9743, isbn 3-540-41863-6Conference Paper

On the education of future software engineersBOLOGNESI, Andrea; CIANCARINI, Paolo; MORETTI, Rocco et al.Lecture notes in computer science. 2006, pp 186-205, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 20 p.Conference Paper

Software architecture modeling & analysis: A rigorous approachKRAMER, Jeff; MAGEE, Jeff; UCHITEL, Sebastian et al.Lecture notes in computer science. 2003, pp 44-51, issn 0302-9743, isbn 3-540-20083-5, 8 p.Conference Paper

Architecture based evolution of software systemsANDRADE, Luis Filipe; FIADEIRO, Josh Luiz.Lecture notes in computer science. 2003, pp 148-181, issn 0302-9743, isbn 3-540-20083-5, 34 p.Conference Paper

Software engineering education in the era of outsourcing, distributed development, and open source software : Challenges and opportunitiesHAWTHORNE, Matthew J; PERRY, Dewayne E.Lecture notes in computer science. 2006, pp 166-185, issn 0302-9743, isbn 978-3-540-68203-5, 1Vol, 20 p.Conference Paper

[Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary]FIADEIRO, José Luiz; INVERARDI, Paola; MAIBAUM, Tom et al.Formal aspects of computing. 2010, Vol 22, Num 3-4, issn 0934-5043, 269 p.Serial Issue

Performance evaluation at the software architecture levelBALSAMO, Simonetta; BERNARDO, Marco; SIMEONI, Marta et al.Lecture notes in computer science. 2003, pp 207-258, issn 0302-9743, isbn 3-540-20083-5, 52 p.Conference Paper

Run-time performance management of the siena publish/subscribe middlewareCAPORUSCIO, Mauro; DI MARCO, Antinisca; INVERARDI, Paola et al.International Workshop on Software and Performance. 2005, pp 65-74, isbn 1-59593-087-6, 1Vol, 10 p.Conference Paper

Automatic failures-free connector synthesis: An exampleINVERARDI, Paola; TIVOLI, Massimo.Lecture notes in computer science. 2004, pp 184-197, issn 0302-9743, isbn 3-540-21179-9, 14 p.Conference Paper